HNTags.com categorised stories from Hacker News (mathematical notation)
Retrieval from: 2025-11-30 21:00:03.037126+00:00 to: 2025-11-30 21:08:14.706736+00:00
28.  The Easiest Way to Build a Type Checker
65  points by surprisetalk | 5  comments | type checking, programming languages, mathematical notation

Incompetently cobbled together by paperstack